Can stable regularities be explained without appealing to governing laws or any other modal notion? In this paper, I consider what I will call a ‘Humean system’—a generic dynamical system without guiding laws—and assess whether it could display stable regularities. First, I present what can be interpreted as an account of the rise of stable regularities, following from Strevens [2003], which has been applied to explain the patterns of complex systems (such as those from meteorology and statistical mechanics). Second, since (...) this account presupposes that the underlying dynamics displays deterministic chaos, I assess whether it can be adapted to cases where the underlying dynamics is not chaotic but truly random—that is, cases where there is no dynamics guiding the time evolution of the system. If this is so, the resulting stable, apparently non-accidental regularities are the fruit of what can be called statistical necessity rather than of a primitive physical necessity. (shrink)

If the laws of nature are as the Humean believes, it is an unexplained cosmic coincidence that the actual Humean mosaic is as extremely regular as it is. This is a strong and well-known objection to the Humean account of laws. Yet, as reasonable as this objection may seem, it is nowadays sometimes dismissed. The reason: its unjustified implicit assignment of equiprobability to each possible Humean mosaic; that is, its assumption of the principle of indifference, which has been attacked on (...) many grounds ever since it was first proposed. In place of equiprobability, recent formal models represent the doxastic state of total ignorance as suspension of judgment. In this paper I revisit the cosmic coincidence objection to Humean laws by assessing which doxastic state we should endorse. By focusing on specific features of our scenario I conclude that suspending judgment results in an unnecessarily weak doxastic state. First, I point out that recent literature in epistemology has provided independent justifications of the principle of indifference. Second, given that the argument is framed within a Humean metaphysics, it turns out that we are warranted to appeal to these justifications and assign a uniform and additive credence distribution among Humean mosaics. This leads us to conclude that, contrary to widespread opinion, we should not dismiss the cosmic coincidence objection to the Humean account of laws. (shrink)

In situations where we ignore everything but the space of possibilities, we ought to suspend judgment—that is, remain agnostic—about which of these possibilities is the case. This means that we cannot sum our degrees of belief in different possibilities, something that has been formalized as an axiom of non-additivity. Consistent with this way of representing our ignorance, I defend a doxastic norm that recommends that we should nevertheless follow a certain additivity of possibilities: even if we cannot sum degrees of (...) belief in different possibilities, we should be more confident in larger groups of possibilities. It is thus shown that, in the type of situation considered (in so-called ‘classical ignorance’, i.e. “behind a thin veil of ignorance”), it is epistemically rational for advocates of suspending judgment to endorse this comparative confidence; while on the other hand it is shown that, even in classical ignorance, no stronger belief—such as a precise uniform probability distribution—is warranted. (shrink)

Como introducción al monográfico sobre reduccionismo y emergencia brindamos aquí un contexto teórico al debate contemporáneo. Hablaremos primero del acercamiento naturalista en filosofía (§2), así como de dos de las características más importantes de la emergencia: autonomía y universalidad (§3). Finalmente, basándonos en la literatura contemporánea (principalmente en Patricia Palacios y Jessica Wilson, además de Mario Bunge y Alicia Juarrero) presentamos algunas de las definiciones y distinciones más importantes para entender mejor el debate sobre la emergencia (§4).

This doctoral dissertation investigates the notion of physical necessity. Specifically, it studies whether it is possible to account for non-accidental regularities without the standard assumption of a pre-existent set of governing laws. Thus, it takes side with the so called deflationist accounts of laws of nature, like the humean or the antirealist. The specific aim is to complement such accounts by providing a missing explanation of the appearance of physical necessity. In order to provide an explanation, I recur to fields (...) that have not been appealed to so far in discussions about the metaphysics of laws. Namely, I recur to complex systems’ theory, and to the foundations of statistical mechanics. The explanation proposed is inspired by how complex systems’ theory has elucidated the way patterns emerge, and by the probabilistic explanations of the 2nd law of thermodynamics. More specifically, this thesis studies how some constraints that make no direct reference to the dynamics can be a sufficient condition for obtaining in the long run, with high probability, stable regular behavior. I hope to show how certain metaphysical accounts of laws might benefit from the insights achieved in these other fields. According to the proposal studied in this thesis, some regularities are not accidental not in virtue of an underlying physical necessity. The non-accidental character of certain regular behavior is only due to its overwhelming stability. Thus, from this point of view the goal becomes to explain the stability of temporal patterns without assuming a set of pre-existent guiding laws. It is argued that the stability can be the result of a process of convergence to simpler and stable regularities from a more complex lower level. According to this project, if successful, there would be no need to postulate a (mysterious) intermediate category between logical necessity and pure contingency. Similarly, there would be no need to postulate a (mysterious) set of pre-existent governing laws. Part I of the thesis motivates part II, mostly by arguing why further explanation of the notions of physical necessity and governing laws should be welcomed (chapter 1), and by studying the plausibility of a lawless fundamental level (chapters 2 and 3). Given so, part II develops the explanation of formation of simpler and stable behavior from a more complex underlying level. (shrink)

It is not uncommon in the history of science and philosophy to encounter crucial experiments or crucial objections the truth-value of which we are ignorant, that is, about which we suspend judgment. Should we ignore such objections? Contrary to widespread practice, I show that in and only in some circumstances they should not be ignored, for the epistemically rational doxastic attitude is to suspend judgment also about the hypothesis that the objection targets. In other words, suspension of judgment “propagates” from (...) the crucial objection to the hypothesis. In this paper I study under which conditions this phenomenon occurs, and discuss its significance for the topics of skepticism, scientific realism, and peer disagreement. (shrink)

Antonio Labriola in the crisis of Marxism. The article deals with the relationship between Marxism and science in Antonio Labriola’s philosophy in the years1898-­1899. In the first part, the Author looks at the content of the Postscript to Discorrendo di socialismo e di filosofia and critically analyzes Labriola’s objections to some of the central theses defended by Benedetto Croce on the theory of value and the economics of Karl Marx. In the second part, two important writings by Labriola linked to (...) the incipient debate on revisionism are examined: Polemiche sul socialismo and Sulla crisi del marxismo. In conclusion, the Author identifies in a specific conception of theory defended by Labriola the common trait between these two apparently distinct areas of inquiry. (shrink)

"Lukács 1933-1942. Irrationalism in the Age of Fascism". This essay reconstructs the philosophical and historiographical premises to Georg Lukács’ research on irrationalism conducted during the period of Nazi rule in Germany. To this end, the Author focuses chiefly on two posthumous works: How Did Fascist Philosophy Arise in Germany? (1933) and How Did Germany Become the Centre of reactionary Ideology? (1941-1942). After a brief historical contextualization, the Author illustrates the main purpose of these texts: to free German philosophy and culture (...) between the XIX and XX century from those irrationalistic elements asserted and nourished by Fascist philosophy. He then analyzes Lukács’ concept of reason in its three fundamental aspects, namely the methodological link with Marx’s historical image of the political development of Europe during the XIX century, the theoretical debt to Hegel’s critique of immediacy and the connection with some ethical points already discussed during the Goethezeit. (shrink)

This paper examines Lukács’ interpretation of Lenin, with particular focus on his Lenin: A Study on the Unity of his Thought (1924), and the Postscript which was added to the book in January 1967. From 1924 onward, Lukács mainly focuses on the methodological basis of Lenin’s political thought, which vital point lays in applying the category of totality in order to grasp the complexity of the socio-historical conjuncture. In addition, Lukács deals with some ethical aspects of Lenin’s personality, i.e. his (...) human attitude. The ethical aspects are but the weakest point in Lukács’ interpretation. Diametrically opposed to any form of decisionism, Lenin embodies for Lukács both a politician and a political scientist. (shrink)

Certain results, most famously in classical statistical mechanics and complex systems, but also in quantum mechanics and high-energy physics, yield a coarse-grained stable statistical pattern in the long run. The explanation of these results shares a common structure: the results hold for a ‘typical’ dynamics, that is, for most of the underlying dynamics. In this paper I argue that the structure of the explanation of these results might shed some light—a different light—on philosophical debates on the laws of nature. In (...) the explanation of such patterns, the specific form of the underlying dynamics is almost irrelevant. The constraints required, given a free state-space evolution, suffice to account for the coarse-grained lawful behaviour. An analysis of such constraints might thus provide a different account of how regular behaviour can occur. This paper focuses on drawing attention to this type of explanation, outlining it in the diverse areas of physics in which it appears, and discussing its limitations and significance in the tractable setting of classical statistical mechanics. (shrink)

I summarize, in this informal interview, the main approaches to the ‘Past Hypothesis’, the postulation of a low-entropy initial state of the universe. I’ve chosen this as an open problem in the philosophical foundations of physics. I hope that this brief overview helps readers in gaining perspective and in appreciating the diverse range of approaches in this fascinating unresolved debate.

The common account of the analog vs digital distinction is based on features of physical systems, being related to the usage of continuous vs discrete supports respectively. It is proposed here to alternatively characterize the concepts of analog and digital as related to coding systems, of which a formal definition is given, by suggesting that the distinction refers to the strategy adopted to define the coding function: extensional in digital systems, isomorphic intensional in analog systems. This thesis is supported by (...) examples, in particular of analog systems exploiting discrete supports, and is discussed to explain why digital coding is currently so widespread in technological and social practice. (shrink)

Much recent philosophy of physics has investigated the process of symmetry breaking. Here, I critically assess the alleged symmetry restoration at the fundamental scale. I draw attention to the contingency that gauge symmetries exhibit, that is, the fact that they have been chosen from an infinite space of possibilities. I appeal to this feature of group theory to argue that any metaphysical account of fundamental laws that expects symmetry restoration up to the fundamental level is not fully satisfactory. This is (...) a symmetry argument in line with Curie’s first principle. Further, I argue that this same feature of group theory helps to explain the ‘unreasonable’ effectiveness of mathematics in physics, and that it reduces the philosophical significance that has been attributed to the objectivity of gauge symmetries. (shrink)

This paper aims to support the claim that analytic metaphysics should be more cautious regarding the constraints that truthmaking considerations impose on metaphysical theories. To this end, I reply to Briggs and Forbes (2017), whoargue that certain truthmaking commitments are incurred by a Humean metaphysics and by the Growing-Block theory. First, I argue that Humean Supervenience does not need to endorse a standard version of truthmaker maximalism. This undermines Briggs and Forbes’s conclusion that Humean Supervenience and the Growing-Block theory are (...) incompatible. Second, I argue that the Growing-Block theory does not commit us to any weaker version of truthmaker maximalism, which also undermines Briggs and Forbes’s conclusion. Finally, I point out other reasons to think that any version of truthmaker maximalism is disputable, undermining a fortiori Briggs and Forbes’s conclusion and supporting the moral that metaphysical theories—or at least Humean Supervenience, the Growing-Block theory, and presentism—are little constrained by truthmaking commitments. (shrink)

How can a metaphysics of abstract entities be built upon a metaphysics of time? In this paper, I address the question of how to accommodate abstract entities in a presentist world. I consider both the traditional metaontological approach of unrestricted fundamental quantification and then ontological pluralism. I argue that under the former we need to impose two constraints in the characterization of presentism in order to avoid undesired commitments to abstract entities: we have to characterize presentism as a thesis only (...) about the concrete, and we also need to avoid the widely held distinction between tensed and tenseless senses of existence. Under ontological pluralism, instead, I argue that we can naturally accommodate any view of abstract objects in a presentist world. (shrink)

En esta entrada se mencionan las principales cuestiones en los fundamentos de la mecánica estadı́stica y la termodinámica, y las cuestiones filosóficas en las que repercuten estas áreas de la fı́sica. Al final se añaden lecturas recomendadas, enfatizando las traducidas al español.

The text presented contains an interview conducted with Domenico Losurdo about "La lotta di classe. Una storia politica e filosofica" (Laterza: Rome 2016) [Class Struggle: A Political and Philosophical History (Palgrave: New York 2018)] and "La sinistra assente. Crisi, società dello spettacolo, guerra" (Carocci: Rome 2014).

This paper deals with Walter Jaeschke’s Hegels Philosophie. It begins with Hegel’s early writings, focusing on the relationship between logic and metaphysics. It goes on to explore central moments of Hegel’s philosophy: the relationship with Kant, the nature of categories, the philosophy of history, and the concept of the State. Jaeschke’s interpretation of Hegel’s thought is that of a paradigmatic thinker, whose fundamental philosophical breakthrough lies in the concept of Geist.

From 1930 onwards, György Lukács considers ‘uneven development’ the typical relational form between economic progress and the corresponding evolution of other fields of human activity. In the early thirties Lukács focuses on the problem of elaborating an independent Marxist aesthetics, but then necessarily find himself having to deal with the general configuration of Marx’s alleged philosophy. The general theory illustrated in The Ontology of Social Being is where this philosophy, considered as a Weltanschauung, is given its final framework. His reflection (...) on the ‘specificity’ of the aesthetic experience, as part of the broader framework of the main fields of art, science and everyday life, is the theoretical medium Lukács used in the fifties and sixties to fine-tune the need that had arisen decades earlier to attribute Marxism with genuine philosophical universality. (shrink)

_Nicolai Hartmann and Alexius Meinong on Apriority and Causality. Notes on the Correspondence_ The article offers a critical reading of the nine letters composing the correspondence exchanged by Alexius Meinong (1853-1920) and Nicolai Hartmann (1882-1950) in 1915 and 1918-1920. The author explores the main contents of the correspondence, through a chronological-thematic analysis. The letters of 1915 are eminently dedicated to a discussion of the gnoseology-ontology relationship. Here, the author focuses (1.1) on the relationship between reality and knowledge and (1.2) on (...) that between a priori and cognitive principles. The analysis (2) of the 1918-1920 correspondence concludes the article, engaging in the theme of the law of causality. Different in the philosophical background and argumentative style, the late Meinong and the young Hartmann find a field of dialogue that appears not lacking in consequences on the philosophical evolution of the latter. (shrink)

ANTONIO LABRIOLA’S THEORY OF HISTORICAL MATERIALISM. The author examines Antonio Labriola’s interpretation of historical materialism in the Saggi intorno alla concezione materialistica della storia (Essays on the Materialistic Conception of History). The author identifies the key element to grasp the relevance of Labriola’s reading of Marxism in the concept of the theory developed in the Saggi. After reviewing the main interpretations of the Saggi, the author focuses on the relationship between history and theory showing up in Labriola’s reading. Firstly, the (...) sense of the theory as an expression of the self-consciousness of a real process is examined by the author in connection with the meaning of dialectics as a self-criticism of historical development. Secondly, the author deals with the method of historical materialism and its impact on the historiographical research. Finally, the author discusses the link between the genesis of historical materialism and its scientific validity, focusing on the problems of class consciousness and ideology for this purpose. (shrink)

The current image of Georg Lukács (1885-1971) is widely swayed by an interpretative standard grounded on a deep partition between his young (1910-1918),intermediate (1918-1930) and mature (1930-1971) intellectual production. Despite rejecting an undeniable discontinuity in Lukács’ philosophical evolution,especially between his pre-Marxist works (The Soul and the Forms and Theory of Romance) and the post-1918 Marxist production, I aim for a global reconsideration of Lukács’ philosophy, evaluating a greater unity in his thought. A reflection on ethical problems, specifically on the matter (...) of responsibility, emerges – and not by chance – during different turning points of Lukács’ personal life. On the poverty of Spirit (1913), Tactic and Ethic (1918) and The social responsibility of the philosopher (1960 ca.) are the three essays in which Lukács attempts in different ways to give a philosophical legitimation of some decisive biographical choices, such as his separation from Irma Seidler (1911), his adhesion to the Communist Party (1918) and his acceptance of Socialism, even after the dramatic events of Budapest in 1956. A more unitary consideration of Lukács’ thought could be reached only through a deeper reflection on the content of the ethical problem of responsibility in his thinking. Despite their differences, the essays mentioned above are united in terms of the meaning of a true responsibility,which Lukács conceives always in a direct connection – maybe in an excessively binding way ‒ between individual choice and the course of history. (shrink)

The aim of this paper is to deal with some aspects of Axel Honneth’s reading of reification faced in his 2005 Verdinglichung. Eine Anerkennungstheoretische Studie. To this purpose, I critically analyse the interpretation of Marx by Lukács as it is expressed in Reification and the Consciousness of the Proletariat. Secondly, I claim that Lukács’ fetishism analysis is grounded in a significant misunderstanding of the core issue of Marx’s Critique of political economy. Furthermore, I suggest that Honneth’s reification concept uncritically accepts, (...) to some extent, the main theses on Marx as they are outlined in Lukács’ text. I conclude by arguing that the Marxian heritage advocated by Honneth is methodologically more deeply linked to Lukács’ History and Class Consciousness than to Marx’s Capital. (shrink)

Il concetto di relazione è colto come concetto antinomico e il valore è la coscienza di questa antinomia.

In margine a una raccolta di scritti di Lukács contro lo stalinismo, che prende nome da una importante intervista del 1971, inedita in italiano. Dal 1930 in poi è presente nella produzione del filosofo ungherese la lotta per la «democratizzazione». Il tema della «trasformazione del lavoro in lavoro socialista». La radicale alterità di Lukács allo stalinismo.

The article firstly outlines the essential contents of Nicolai Hartmann's "Possibility and Actuality" (1938), on the occasion of its recent Italian translation ("Possibilità e realtà", Milano-Udine 2018). Secondly, it discusses the main contents of "Nicolai Hartmanns Neue Ontologie und die Philosophische Anthropologie" (Berlin-Boston 2019), the outcome of a conference devoted to Hartmann's philosophy, regarded in the context of twentieth-century philosophical anthropology (Max Scheler, Helmuth Plessner). -/- .

This essay critically reconstructs the concept of ‘democratic dictatorship’ which Georg Lukács’s outlines in Blum Theses of 1928. The essay tackles the birth of the Communist Party of Hungary, particularly focusing on its factional struggles during the 1920s. Secondly, the main contents of the Blum Theses, compared with the debate on the ‘Republican Assembly’ in the Italian Communist Party will be discussed. Finally, the essay examines the two most rooted interpretive prejudices concerning the Blum Theses, i.e. their alleged forecasting character (...) towards ‘Popular Front’ strategy and their purported distance from ‘Socialfascism’. (shrink)

The notion of Providence is born with the Greek word prόnoia which, however, originally meant "premeditation" (of a crime) or "design" of an artefact, and had nothing to do with religion. It was Plato in the Timaeus who adopted the word from the common language to indicate the rational and benevolent principle that inspired the anonymous God, which he defined as dēmiourgόs (also this word originally meant a professional technician, for example, a doctor or an architect) in his work of (...) shaping the cosmos. The doctrine of divine Providence was taken up by Middle Platonism, and with it the need to "justify" the divinity for the presence of evil in the world, what Leibniz will call "theodicy". Stoicism also supported Providence, but here there is no "theodicy" because in Stoic philosophy rationality and beneficial purpose are intrinsic to the cosmic process and therefore there is no external architect to be charged and absolved. Christian authors of the first centuries recycled the arguments of the Platonists in support of Providence, despite the fact that the word prόnoia never appears in the New Testament, nor is there any Hebrew equivalent in the Tanak. Perhaps there is some compatibility problem between the philosophical theory of Providence and the biblical-Christian view of God. (shrink)

Our society is undergoing digital change. Dealing with digital technologies has become a daily practice. Many healthcare facilities are implementing digital technologies. Nurses are placed in a strategic position to be the leader of the digital healthcare workforce. Nursing students are more exposed to this technological advancement as they are future professional nurses. This study aimed to examine how information-processing and exchanging skills in digital spaces affect digital problem-solving skills among nursing students. The Bayesian mindsponge framework (BMF) was used as (...) a conceptual framework. This quantitative study utilized a cross-sectional design. The population was all nursing students in two private nursing institutions located in Bangkok, Thailand (n=476) and Surabaya, Indonesia (n=179). Samples were the total population. Self-developed instrument was used in data collection. Data analysis used BMF analytics. The majority were females aged 20-22 years old who use smartphones and tablets daily. The information-processing and information-exchanging skills in digital spaces were positively associated with digital problem-solving skills among nursing students (MInformationProcess=0.30 and SDInformationProcess=0.05; MInformationExchange=0.37, and SDInformationExchange=0.05). More efforts are needed to improve nursing students’ problem-solving skills by using digital content, for instance, by modifying the information-processing and information-exchanging skills in digital spaces. Collaborative learning methods should be promoted in order to support the creation of conducive environment for supporting knowledge or information-exchanging behavior among nursing students by using digital technology. (shrink)

In this paper we will give a critical account of Plantinga’s well-known argument to the effect that the existence of an omnipotent and morally perfect God is consistent with the actual presence of evil. After presenting Plantinga’s view, we critically discuss both the idea of divine knowledge of conditionals of freedom and the concept of transworld depravity. Then, we will sketch our own version of the Free-Will Defence, which maintains that moral evil depends on the misuse of human freedom. However, (...) our argument does not hinge on problematic metaphysical assumptions, but depends only on a certain definition of a free act and a particular interpretation of divine omniscience. (shrink)

The timeless solution to the problem of divine foreknowledge and human freedom has many advantages. Still, the relationship between a timeless God and temporal beings is problematic in a number of ways. In this paper, we focus on the specific problems the timeless view has to deal with when certain assumptions on the metaphysics of time are taken on board. It is shown that on static conception of time God’s omniscience is easily accounted for, but human freedom is threatened, while (...) a dynamic conception has no problems with human freedom, but, on this view, some truths seem not to be knowable by a timeless God. We propose Fragmentalism as a metaphysics of time in which the divine timeless knowledge of temporal events and human freedom can be reconciled. -/- . (shrink)

In §21 of Grundgesetze der Arithmetik asks us to consider the forms: a a2 = 4 and a a > 0 and notices that they can be obtained from a φ(a) by replacing the function-name placeholder φ(ξ) by names for the functions ξ2 = 4 and ξ > 0 (and the placeholder cannot be replaced by names of objects or of functions of 2 arguments).

Fragmentalism allows incompatible facts to constitute reality in an absolute manner, provided that they fail to obtain together. In recent years, the view has been extensively discussed, with a focus on its formalisation in model-theoretic terms. This paper focuses on three formalisations: Lipman’s approach, the subvaluationist interpretation, and a novel view that has been so far overlooked. The aim of the paper is to explore the application of these formalisations to the alethic modal case. This logical exploration will allow us (...) to study (i) cases of metaphysical incompatibility between modal facts and (ii) cases of modal dialetheias. In turn, this will enrich our understanding of the role of impossibility in the fragmentalist framework. (shrink)

Faust is one of the most famous literary character: reshaped in different ways throughout the centuries, my goal here is to reformulate its figure with the tools of Kantian transcendentalism. This reinterpretation brings home the possibility to investigate in a new way the transhumanist logic: if Faust is a character that desperately wants to overcome in a trascendental way its condition for a more complete perspective of things, transhumanists can be seen as Fausts and, therefore, logical transcendentalists.

The species concept is one of the central concepts in biological science. Although modern systematics speculates about the existence of a complex hierarchy of nested taxa, biological species are considered particularly important for the active role they play in evolution. However, neither theoretical biologists nor philosophers of biology have come to an agreement about what a species is. In this chapter, we address two questions pertaining to biological species: (1) are they individuals or universals? and (2) are they bona fide (...) or fiat entities? In section The Species-as-Individuals View, we illustrate the reasons that have led many scholars to support the view that species are individuals. In the next two sections, we show that the relational concepts of species – on which the species-as-individuals view is based – provide neither necessary nor sufficient conditions for species membership. This seriously undermines the species-as-individuals view. In the section A Conceptualist Model for the Metaphysics of Species, we advance the proposal that species are fiat concepts (and thus, universal entities partially dependent on the human mind) carved in a multi-dimensional space representing the properties that the biological organisms possess. The final section concludes. (shrink)

Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...) a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...) the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

dolce, the first top-level ontology to be axiomatized, has remained stable for twenty years and today is broadly used in a variety of domains. dolce is inspired by cognitive and linguistic considerations and aims to model a commonsense view of reality, like the one human beings exploit in everyday life in areas as diverse as socio-technical systems, manufacturing, financial transactions and cultural heritage. dolce clearly lists the ontological choices it is based upon, relies on philosophical principles, is richly formalized, and (...) is built according to well-established ontological methodologies, e.g. OntoClean. Because of these features, it has inspired most of the existing top-level ontologies and has been used to develop or improve standards and public domain resources. Being a foundational ontology, dolce is not directly concerned with domain knowledge. Its purpose is to provide the general categories and relations needed to give a coherent view of reality, to integrate domain knowledge, and to mediate across domains. In these 20 years dolce has shown that applied ontologies can be stable and that interoperability across reference and domain ontologies is a reality. This paper briefly introduces the ontology and shows how to use it on a few modeling cases. (shrink)

Clinical guidelines are special types of plans realized by collective agents. We provide an ontological theory of such plans that is designed to support the construction of a framework in which guideline-based information systems can be employed in the management of workflow in health care organizations. The framework we propose allows us to represent in formal terms how clinical guidelines are realized through the actions of are realized through the actions of individuals organized into teams. We provide various levels of (...) implementation representing different levels of conformity on the part of health care organizations. Implementations built in conformity with our framework are marked by two dimensions of flexibility that are designed to make them more likely to be accepted by health care professionals than standard guideline-based management systems. They do justice to the fact 1) that responsibilities within a health care organization are widely shared, and 2) that health care professionals may on different occasions be non-compliant with guidelines for a variety of well justified reasons. The advantage of the framework lies in its built-in flexibility, its sensitivity to clinical context, and its ability to use inference tools based on a robust ontology. One disadvantage lies in its complicated implementation. (shrink)

In 2001, W. Carnielli and Marcos considered a 3-valued logic in order to prove that the schema ϕ ∨ (ϕ → ψ) is not a theorem of da Costa’s logic Cω. In 2006, this logic was studied (and baptized) as G'3 by Osorio et al. as a tool to define semantics of logic programming. It is known that the truth-tables of G'3 have the same expressive power than the one of Łukasiewicz 3-valued logic as well as the one of Gödel (...) 3-valued logic G3. From this, the three logics coincide up-to language, taking into acccount that 1 is the only designated truth-value in these logics. -/- From the algebraic point of view, Canals-Frau and Figallo have studied the 3-valued modal implicative semilattices, where the modal operator is the well-known Moisil-Monteiro-Baaz Δ operator, and the supremum is definable from this. We prove that the subvariety obtained from this by adding a bottom element 0 is term-equivalent to the variety generated by the 3-valued algebra of G'3. The algebras of that variety are called G'3-algebras. From this result, we obtain the equations which axiomatize the variety of G'3-algebras. Moreover, we prove that this variety is semisimple, and the 3-element and the 2-element chains are the unique simple algebras of the variety. Finally an extension of G'3 to first-order languages is presented, with an algebraic semantics based on complete G'3-algebras. The corresponding soundness and completeness theorems are obtained. (shrink)

The research presented in this article is motivated by the increasing importance of complex human relations in linked data, either extracted from social networks, or found in existing databases. The FOAF vocabulary, targeted in our research, plays a central role in those data, and is a model for lightweight ontologies largely used in linked data, such as the DBpedia ontology and schema-org. We provide an overview of FOAF and other approaches for describing human relations, followed by a detailed analysis and (...) critique of the FOAF Relationship Vocabulary, the most important FOAF extension. We propose an explicit formal axiomatization of this vocabulary, and an ontological analysis concerning the properties used to describe human relationships. We analyze the distribution of human relations based on their epistemological status, and define an ontoepistemic meta-property as characteristic of some of these predicates. Our analysis is generalizable to semantic modeling of social networks. Additionally, the modeling patterns used in other relevant linked data vocabularies are analyzed for comparison. (shrink)

Aldo Leopold accorded great significance to the images he used to describe both the land and humankind’s relation to it. Focusing on three key images of Leopold’s “ecological imaginary”—the balance, the pyramid, and the round river—this article argues that the most profound of these is the round river. Contrasting this image with James Lovelock’s portrayal of the earth as Gaia, it further argues that Leopold’s round river can be interpreted as a contemporary, ecological reworking of the primordial, Homeric experience (...) of Being, according to which the foundation of the world is a round river, Oceanus. (shrink)

It is clear that environmentalist are failing in their efforts to avert a global ecological catastrophe. It is argued here that Aldo Leopold had provided the foundations for an effective environmental movement, but to develop his land ethic, it is necessary first to interpret and advance it by seeing it as a form of communitarianism, and link it to communitarian ethical and political philosophy. This synthesis can then be further developed by incorporating advanced ideas in ecology and human ecology. (...) Overcoming the division between the sciences and humanities and granting a place to narratives as a highly developed form of eco-semiosis, these provide the foundation for a new grand narrative committed to creating an ecological civilization, a civilization organized to augment the life of ecosystems, including human ecosystems, by augmenting the conditions for its members to flourish and develop their full potential to augment life. (shrink)